On two-way nondeterministic finite automata with one reversal-bounded counter

JOURNAL ARTICLE published January 2005 in Theoretical Computer Science

Authors: Zhe Dang | Oscar H. Ibarra | Zhi-Wei Sun

Random Generation of Nondeterministic Finite-State Tree Automata

JOURNAL ARTICLE published 20 November 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Thomas Hanneforth | Andreas Maletti | Daniel Quernheim